118 research outputs found

    Card-based Protocols Using Triangle Cards

    Get PDF
    Suppose that three boys and three girls attend a party. Each boy and girl have a crush on exactly one of the three girls and three boys, respectively. The following dilemma arises: On one hand, each person thinks that if there is a mutual affection between a girl and boy, the couple should go on a date the next day. On the other hand, everyone wants to avoid the possible embarrassing situation in which their heart is broken "publicly." In this paper, we solve the dilemma using novel cards called triangle cards. The number of cards required is only six, which is minimal in the case where each player commits their input at the beginning of the protocol. We also construct multiplication and addition protocols based on triangle cards. Combining these protocols, we can securely compute any function f: {0,1,2}^n --> {0,1,2}

    Card-Based Zero-Knowledge Proof for Sudoku

    Get PDF
    In 2009, Gradwohl, Naor, Pinkas, and Rothblum proposed physical zero-knowledge proof protocols for Sudoku. That is, for a puzzle instance of Sudoku, their excellent protocols allow a prover to convince a verifier that there is a solution to the Sudoku puzzle and that he/she knows it, without revealing any information about the solution. The possible drawback is that the existing protocols have a soundness error with a non-zero probability or need special cards (such as scratch-off cards). Thus, in this study, we propose new protocols to perform zero-knowledge proof for Sudoku that use a normal deck of playing cards and have no soundness error. Our protocols can be easily implemented by humans with a reasonable number of playing cards

    Executive function after exhaustive exercise

    Get PDF
    PurposeFindings concerning the effects of exhaustive exercise on cognitive function are somewhat equivocal. The purpose of this study was to identify physiological factors that determine executive function after exhaustive exercise.MethodsThirty-two participants completed the cognitive tasks before and after an incremental exercise until exhaustion (exercise group: N = 18) or resting period (control group N = 14). The cognitive task was a combination of a Spatial Delayed-Response (Spatial DR) task and a Go/No-Go task, which requires executive function. Cerebral oxygenation and skin blood flow were monitored during the cognitive task over the prefrontal cortex. Venous blood samples were collected before and after the exercise or resting period, and blood catecholamines, serum brain-derived neurotrophic factor, insulin-like growth hormone factor 1, and blood lactate concentrations were analyzed.ResultsIn the exercise group, exhaustive exercise did not alter reaction time (RT) in the Go/No-Go task (pre: 861 ± 299 ms vs. post: 775 ± 168 ms) and the number of error trials in the Go/No-Go task (pre: 0.9 ± 0.7 vs. post: 1.8 ± 1.8) and the Spatial DR task (pre: 0.3 ± 0.5 vs. post: 0.8 ± 1.2). However, ΔRT was negatively correlated with Δcerebral oxygenation (r = −0.64, P = 0.004). Other physiological parameters were not correlated with cognitive performance. Venous blood samples were not directly associated with cognitive function after exhaustive exercise.ConclusionThe present results suggest that recovery of regional cerebral oxygenation affects executive function after exhaustive exercise

    Slowed response to peripheral visual stimuli during strenuous exercise

    Get PDF
    Recently, we proposed that strenuous exercise impairs peripheral visual perception because visual responses to peripheral visual stimuli were slowed during strenuous exercise. However, this proposal was challenged because strenuous exercise is also likely to affect the brain network underlying motor responses. The purpose of the current study was to resolve this issue. Fourteen participants performed a visual reaction-time (RT) task at rest and while exercising at 50% (moderate) and 75% (strenuous) peak oxygen uptake. Visual stimuli were randomly presented at different distances from fixation in two task conditions: the Central condition (2° or 5° from fixation) and the Peripheral condition (30° or 50° from fixation). We defined premotor time as the time between stimulus onset and the motor response, as determined using electromyographic recordings. In the Central condition, premotor time did not change during moderate (167 ± 19 ms) and strenuous (168 ± 24 ms) exercise from that at rest (164 ± 17 ms). In the Peripheral condition, premotor time significantly increased during moderate (181 ± 18 ms, P < 0.05) and strenuous exercise (189 ± 23 ms, P < 0.001) from that at rest (173 ± 17 ms). These results suggest that increases in Premotor Time to the peripheral visual stimuli did not result from an impaired motor-response network, but rather from impaired peripheral visual perception. We conclude that slowed response to peripheral visual stimuli during strenuous exercise primarily results from impaired visual perception of the periphery

    AES Cipher Keys Suitable for Efficient Side-Channel Vulnerability Evaluation

    Get PDF
    This paper investigates pairs of AES-128 cipher keys and plaintexts which result in being ``quiet\u27\u27 in the final round, i.e., whose 128-bit State holds the same bit pattern before and after Round 10. We show that the number of such quiet plaintexts (resulting in Hamming distance 0) for any cipher key is at most 5,914,624, and that there exist exactly 729 cipher keys having such a maximum number. The same holds if ``quiet\u27\u27 is replaced by ``noisy\u27\u27 (which means to have Hamming distance 128). Because such quiet and noisy plaintexts make extreme actions in the final round of the AES encryption, these AES-128 cipher keys are quite useful for AES hardware designers to efficiently evaluate the vulnerabilities of their products, for instance, the performance of their side-channel attack countermeasures

    Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions (Extended Abstract)

    Get PDF
    A minimum ESOP (Exclusive-OR Sum-of-Products) form of a logic function f is an AND-EXOR 2-level expression of f having the minimum number of product terms. In the paper we deal with multiple-valued 2-input logic functions f , and give an algorithm to find a minimum ESOP form of a given function f in polynomial time

    Cognitive function during exercise under severe hypoxia

    Get PDF
    Acute exercise has been demonstrated to improve cognitive function. In contrast, severe hypoxia can impair cognitive function. Hence, cognitive function during exercise under severe hypoxia may be determined by the balance between the beneficial effects of exercise and the detrimental effects of severe hypoxia. However, the physiological factors that determine cognitive function during exercise under hypoxia remain unclear. Here, we examined the combined effects of acute exercise and severe hypoxia on cognitive function and identified physiological factors that determine cognitive function during exercise under severe hypoxia. The participants completed cognitive tasks at rest and during moderate exercise under either normoxic or severe hypoxic conditions. Peripheral oxygen saturation, cerebral oxygenation, and middle cerebral artery velocity were continuously monitored. Cerebral oxygen delivery was calculated as the product of estimated arterial oxygen content and cerebral blood flow. On average, cognitive performance improved during exercise under both normoxia and hypoxia, without sacrificing accuracy. However, under hypoxia, cognitive improvements were attenuated for individuals exhibiting a greater decrease in peripheral oxygen saturation. Cognitive performance was not associated with other physiological parameters. Taken together, the present results suggest that arterial desaturation attenuates cognitive improvements during exercise under hypoxia

    Card-Based ZKP Protocols for Takuzu and Juosan

    Get PDF
    International audienc
    • 

    corecore